Optimal. Leaf size=258 \[ \frac {\tanh ^{-1}(x) \log \left (\frac {2 \left (b-\sqrt {b^2-4 a c}+2 c x\right )}{\left (b+2 c-\sqrt {b^2-4 a c}\right ) (1+x)}\right )}{\sqrt {b^2-4 a c}}-\frac {\tanh ^{-1}(x) \log \left (\frac {2 \left (b+\sqrt {b^2-4 a c}+2 c x\right )}{\left (b+2 c+\sqrt {b^2-4 a c}\right ) (1+x)}\right )}{\sqrt {b^2-4 a c}}-\frac {\text {PolyLog}\left (2,1-\frac {2 \left (b-\sqrt {b^2-4 a c}+2 c x\right )}{\left (b+2 c-\sqrt {b^2-4 a c}\right ) (1+x)}\right )}{2 \sqrt {b^2-4 a c}}+\frac {\text {PolyLog}\left (2,1-\frac {2 \left (b+\sqrt {b^2-4 a c}+2 c x\right )}{\left (b+2 c+\sqrt {b^2-4 a c}\right ) (1+x)}\right )}{2 \sqrt {b^2-4 a c}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.24, antiderivative size = 258, normalized size of antiderivative = 1.00, number of steps
used = 10, number of rules used = 7, integrand size = 15, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.467, Rules used = {632, 212,
6860, 6057, 2449, 2352, 2497} \begin {gather*} -\frac {\text {Li}_2\left (1-\frac {2 \left (b+2 c x-\sqrt {b^2-4 a c}\right )}{\left (b+2 c-\sqrt {b^2-4 a c}\right ) (x+1)}\right )}{2 \sqrt {b^2-4 a c}}+\frac {\text {Li}_2\left (1-\frac {2 \left (b+2 c x+\sqrt {b^2-4 a c}\right )}{\left (b+2 c+\sqrt {b^2-4 a c}\right ) (x+1)}\right )}{2 \sqrt {b^2-4 a c}}+\frac {\tanh ^{-1}(x) \log \left (\frac {2 \left (-\sqrt {b^2-4 a c}+b+2 c x\right )}{(x+1) \left (-\sqrt {b^2-4 a c}+b+2 c\right )}\right )}{\sqrt {b^2-4 a c}}-\frac {\tanh ^{-1}(x) \log \left (\frac {2 \left (\sqrt {b^2-4 a c}+b+2 c x\right )}{(x+1) \left (\sqrt {b^2-4 a c}+b+2 c\right )}\right )}{\sqrt {b^2-4 a c}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 212
Rule 632
Rule 2352
Rule 2449
Rule 2497
Rule 6057
Rule 6860
Rubi steps
\begin {align*} \int \frac {\tanh ^{-1}(x)}{a+b x+c x^2} \, dx &=\int \left (\frac {2 c \tanh ^{-1}(x)}{\sqrt {b^2-4 a c} \left (b-\sqrt {b^2-4 a c}+2 c x\right )}-\frac {2 c \tanh ^{-1}(x)}{\sqrt {b^2-4 a c} \left (b+\sqrt {b^2-4 a c}+2 c x\right )}\right ) \, dx\\ &=\frac {(2 c) \int \frac {\tanh ^{-1}(x)}{b-\sqrt {b^2-4 a c}+2 c x} \, dx}{\sqrt {b^2-4 a c}}-\frac {(2 c) \int \frac {\tanh ^{-1}(x)}{b+\sqrt {b^2-4 a c}+2 c x} \, dx}{\sqrt {b^2-4 a c}}\\ &=\frac {\tanh ^{-1}(x) \log \left (\frac {2 \left (b-\sqrt {b^2-4 a c}+2 c x\right )}{\left (b+2 c-\sqrt {b^2-4 a c}\right ) (1+x)}\right )}{\sqrt {b^2-4 a c}}-\frac {\tanh ^{-1}(x) \log \left (\frac {2 \left (b+\sqrt {b^2-4 a c}+2 c x\right )}{\left (b+2 c+\sqrt {b^2-4 a c}\right ) (1+x)}\right )}{\sqrt {b^2-4 a c}}-\frac {\int \frac {\log \left (\frac {2 \left (b-\sqrt {b^2-4 a c}+2 c x\right )}{\left (b+2 c-\sqrt {b^2-4 a c}\right ) (1+x)}\right )}{1-x^2} \, dx}{\sqrt {b^2-4 a c}}+\frac {\int \frac {\log \left (\frac {2 \left (b+\sqrt {b^2-4 a c}+2 c x\right )}{\left (b+2 c+\sqrt {b^2-4 a c}\right ) (1+x)}\right )}{1-x^2} \, dx}{\sqrt {b^2-4 a c}}\\ &=\frac {\tanh ^{-1}(x) \log \left (\frac {2 \left (b-\sqrt {b^2-4 a c}+2 c x\right )}{\left (b+2 c-\sqrt {b^2-4 a c}\right ) (1+x)}\right )}{\sqrt {b^2-4 a c}}-\frac {\tanh ^{-1}(x) \log \left (\frac {2 \left (b+\sqrt {b^2-4 a c}+2 c x\right )}{\left (b+2 c+\sqrt {b^2-4 a c}\right ) (1+x)}\right )}{\sqrt {b^2-4 a c}}-\frac {\text {Li}_2\left (1-\frac {2 \left (b-\sqrt {b^2-4 a c}+2 c x\right )}{\left (b+2 c-\sqrt {b^2-4 a c}\right ) (1+x)}\right )}{2 \sqrt {b^2-4 a c}}+\frac {\text {Li}_2\left (1-\frac {2 \left (b+\sqrt {b^2-4 a c}+2 c x\right )}{\left (b+2 c+\sqrt {b^2-4 a c}\right ) (1+x)}\right )}{2 \sqrt {b^2-4 a c}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains complex when optimal does not.
time = 14.17, size = 874, normalized size = 3.39 \begin {gather*} \frac {\frac {2 \sqrt {-b^2+4 a c} \left (b \left (\sqrt {\frac {c (a+b+c)}{-b^2+4 a c}} e^{i \text {ArcTan}\left (\frac {-b-2 c}{\sqrt {-b^2+4 a c}}\right )}-\sqrt {\frac {c (a-b+c)}{-b^2+4 a c}} e^{i \text {ArcTan}\left (\frac {-b+2 c}{\sqrt {-b^2+4 a c}}\right )}\right )-2 c \left (-1+\sqrt {\frac {c (a+b+c)}{-b^2+4 a c}} e^{i \text {ArcTan}\left (\frac {-b-2 c}{\sqrt {-b^2+4 a c}}\right )}+\sqrt {\frac {c (a-b+c)}{-b^2+4 a c}} e^{i \text {ArcTan}\left (\frac {-b+2 c}{\sqrt {-b^2+4 a c}}\right )}\right )\right ) \text {ArcTan}\left (\frac {b+2 c x}{\sqrt {-b^2+4 a c}}\right )^2}{b^2-4 c^2}+2 \text {ArcTan}\left (\frac {b+2 c x}{\sqrt {-b^2+4 a c}}\right ) \left (-i \text {ArcTan}\left (\frac {-b-2 c}{\sqrt {-b^2+4 a c}}\right )+i \text {ArcTan}\left (\frac {-b+2 c}{\sqrt {-b^2+4 a c}}\right )+2 \tanh ^{-1}(x)+\log \left (1-e^{2 i \left (\text {ArcTan}\left (\frac {-b-2 c}{\sqrt {-b^2+4 a c}}\right )+\text {ArcTan}\left (\frac {b+2 c x}{\sqrt {-b^2+4 a c}}\right )\right )}\right )-\log \left (1-e^{2 i \left (\text {ArcTan}\left (\frac {-b+2 c}{\sqrt {-b^2+4 a c}}\right )+\text {ArcTan}\left (\frac {b+2 c x}{\sqrt {-b^2+4 a c}}\right )\right )}\right )\right )+2 \left (\text {ArcTan}\left (\frac {-b-2 c}{\sqrt {-b^2+4 a c}}\right ) \left (\log \left (1-e^{2 i \left (\text {ArcTan}\left (\frac {-b-2 c}{\sqrt {-b^2+4 a c}}\right )+\text {ArcTan}\left (\frac {b+2 c x}{\sqrt {-b^2+4 a c}}\right )\right )}\right )-\log \left (\sin \left (\text {ArcTan}\left (\frac {-b-2 c}{\sqrt {-b^2+4 a c}}\right )+\text {ArcTan}\left (\frac {b+2 c x}{\sqrt {-b^2+4 a c}}\right )\right )\right )\right )+\text {ArcTan}\left (\frac {-b+2 c}{\sqrt {-b^2+4 a c}}\right ) \left (-\log \left (1-e^{2 i \left (\text {ArcTan}\left (\frac {-b+2 c}{\sqrt {-b^2+4 a c}}\right )+\text {ArcTan}\left (\frac {b+2 c x}{\sqrt {-b^2+4 a c}}\right )\right )}\right )+\log \left (\sin \left (\text {ArcTan}\left (\frac {-b+2 c}{\sqrt {-b^2+4 a c}}\right )+\text {ArcTan}\left (\frac {b+2 c x}{\sqrt {-b^2+4 a c}}\right )\right )\right )\right )\right )-i \text {PolyLog}\left (2,e^{2 i \left (\text {ArcTan}\left (\frac {-b-2 c}{\sqrt {-b^2+4 a c}}\right )+\text {ArcTan}\left (\frac {b+2 c x}{\sqrt {-b^2+4 a c}}\right )\right )}\right )+i \text {PolyLog}\left (2,e^{2 i \left (\text {ArcTan}\left (\frac {-b+2 c}{\sqrt {-b^2+4 a c}}\right )+\text {ArcTan}\left (\frac {b+2 c x}{\sqrt {-b^2+4 a c}}\right )\right )}\right )}{2 \sqrt {-b^2+4 a c}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(936\) vs.
\(2(230)=460\).
time = 4.69, size = 937, normalized size = 3.63
method | result | size |
risch | \(\frac {\ln \left (1-x \right ) \left (\ln \left (\frac {-2 c \left (1-x \right )+\sqrt {-4 a c +b^{2}}+b +2 c}{b +2 c +\sqrt {-4 a c +b^{2}}}\right )-\ln \left (\frac {2 c \left (1-x \right )+\sqrt {-4 a c +b^{2}}-b -2 c}{-b -2 c +\sqrt {-4 a c +b^{2}}}\right )\right )}{2 \sqrt {-4 a c +b^{2}}}+\frac {\dilog \left (\frac {-2 c \left (1-x \right )+\sqrt {-4 a c +b^{2}}+b +2 c}{b +2 c +\sqrt {-4 a c +b^{2}}}\right )}{2 \sqrt {-4 a c +b^{2}}}-\frac {\dilog \left (\frac {2 c \left (1-x \right )+\sqrt {-4 a c +b^{2}}-b -2 c}{-b -2 c +\sqrt {-4 a c +b^{2}}}\right )}{2 \sqrt {-4 a c +b^{2}}}+\frac {\ln \left (1+x \right ) \left (\ln \left (\frac {-2 c \left (1+x \right )+\sqrt {-4 a c +b^{2}}-b +2 c}{-b +2 c +\sqrt {-4 a c +b^{2}}}\right )-\ln \left (\frac {2 c \left (1+x \right )+\sqrt {-4 a c +b^{2}}+b -2 c}{b -2 c +\sqrt {-4 a c +b^{2}}}\right )\right )}{2 \sqrt {-4 a c +b^{2}}}+\frac {\dilog \left (\frac {-2 c \left (1+x \right )+\sqrt {-4 a c +b^{2}}-b +2 c}{-b +2 c +\sqrt {-4 a c +b^{2}}}\right )}{2 \sqrt {-4 a c +b^{2}}}-\frac {\dilog \left (\frac {2 c \left (1+x \right )+\sqrt {-4 a c +b^{2}}+b -2 c}{b -2 c +\sqrt {-4 a c +b^{2}}}\right )}{2 \sqrt {-4 a c +b^{2}}}\) | \(434\) |
default | \(-\frac {\sqrt {-4 a c +b^{2}}\, \arctanh \left (x \right ) \ln \left (1-\frac {\left (a +b +c \right ) \left (1+x \right )^{2}}{\left (-x^{2}+1\right ) \left (\sqrt {-4 a c +b^{2}}-a +c \right )}\right )}{4 a c -b^{2}}+\frac {\sqrt {-4 a c +b^{2}}\, \arctanh \left (x \right )^{2}}{4 a c -b^{2}}-\frac {\sqrt {-4 a c +b^{2}}\, \polylog \left (2, \frac {\left (a +b +c \right ) \left (1+x \right )^{2}}{\left (-x^{2}+1\right ) \left (\sqrt {-4 a c +b^{2}}-a +c \right )}\right )}{2 \left (4 a c -b^{2}\right )}-\frac {\left (-\sqrt {-4 a c +b^{2}}+a -c \right ) \ln \left (1-\frac {\left (a +b +c \right ) \left (1+x \right )^{2}}{\left (-x^{2}+1\right ) \left (-\sqrt {-4 a c +b^{2}}-a +c \right )}\right ) \arctanh \left (x \right )}{a^{2}+2 a c -b^{2}+c^{2}}+\frac {\left (4 a c -b^{2}+\sqrt {-4 a c +b^{2}}\, a -\sqrt {-4 a c +b^{2}}\, c \right ) \ln \left (1-\frac {\left (a +b +c \right ) \left (1+x \right )^{2}}{\left (-x^{2}+1\right ) \left (-\sqrt {-4 a c +b^{2}}-a +c \right )}\right ) a \arctanh \left (x \right )}{\left (4 a c -b^{2}\right ) \left (a^{2}+2 a c -b^{2}+c^{2}\right )}-\frac {\left (4 a c -b^{2}+\sqrt {-4 a c +b^{2}}\, a -\sqrt {-4 a c +b^{2}}\, c \right ) \ln \left (1-\frac {\left (a +b +c \right ) \left (1+x \right )^{2}}{\left (-x^{2}+1\right ) \left (-\sqrt {-4 a c +b^{2}}-a +c \right )}\right ) c \arctanh \left (x \right )}{\left (4 a c -b^{2}\right ) \left (a^{2}+2 a c -b^{2}+c^{2}\right )}+\frac {\left (-\sqrt {-4 a c +b^{2}}+a -c \right ) \arctanh \left (x \right )^{2}}{a^{2}+2 a c -b^{2}+c^{2}}-\frac {\left (4 a c -b^{2}+\sqrt {-4 a c +b^{2}}\, a -\sqrt {-4 a c +b^{2}}\, c \right ) a \arctanh \left (x \right )^{2}}{\left (4 a c -b^{2}\right ) \left (a^{2}+2 a c -b^{2}+c^{2}\right )}+\frac {\left (4 a c -b^{2}+\sqrt {-4 a c +b^{2}}\, a -\sqrt {-4 a c +b^{2}}\, c \right ) c \arctanh \left (x \right )^{2}}{\left (4 a c -b^{2}\right ) \left (a^{2}+2 a c -b^{2}+c^{2}\right )}-\frac {\left (-\sqrt {-4 a c +b^{2}}+a -c \right ) \polylog \left (2, \frac {\left (a +b +c \right ) \left (1+x \right )^{2}}{\left (-x^{2}+1\right ) \left (-\sqrt {-4 a c +b^{2}}-a +c \right )}\right )}{2 \left (a^{2}+2 a c -b^{2}+c^{2}\right )}+\frac {\left (4 a c -b^{2}+\sqrt {-4 a c +b^{2}}\, a -\sqrt {-4 a c +b^{2}}\, c \right ) \polylog \left (2, \frac {\left (a +b +c \right ) \left (1+x \right )^{2}}{\left (-x^{2}+1\right ) \left (-\sqrt {-4 a c +b^{2}}-a +c \right )}\right ) a}{2 \left (4 a c -b^{2}\right ) \left (a^{2}+2 a c -b^{2}+c^{2}\right )}-\frac {\left (4 a c -b^{2}+\sqrt {-4 a c +b^{2}}\, a -\sqrt {-4 a c +b^{2}}\, c \right ) \polylog \left (2, \frac {\left (a +b +c \right ) \left (1+x \right )^{2}}{\left (-x^{2}+1\right ) \left (-\sqrt {-4 a c +b^{2}}-a +c \right )}\right ) c}{2 \left (4 a c -b^{2}\right ) \left (a^{2}+2 a c -b^{2}+c^{2}\right )}\) | \(937\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\operatorname {atanh}{\left (x \right )}}{a + b x + c x^{2}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {\mathrm {atanh}\left (x\right )}{c\,x^2+b\,x+a} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________